Static program analysis - PDFSEARCH.IO - Document Search Engine

Static program analysis
Results: 262

#	Item
161	Automatic Extraction of Object-Oriented Component Interfaces John Whaley Michael C. Martin Monica S. Lam Computer Systems Laboratory Stanford University {jwhaley, Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:34:49 Object-oriented programming Java Model checking Static program analysis Class Objective-C Method Common Object Request Broker Architecture Actor model Computing Software engineering Computer programming
162	Comparing Bug Finding Tools with Reviews and Tests? Stefan Wagner1 , Jan J¨ urjens1 , Claudia Koller1, and Peter Trischberger2 1 Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2005-05-10 05:04:55 Software bug Programming tool Source lines of code Extended static checking PMD Software review Software Program analysis FindBugs
163	The 19th International Static Analysis Symposium Deauville, France[removed]September 2012 S AS[removed] Add to Reading List Source URL: www.sas2012.ens.fr Language: English - Date: 2012-07-03 06:17:35 Theoretical computer science Abstract interpretation Applied mathematics Model checking Program analysis Abstract management Formal verification Software bug Computer science Formal methods Logic in computer science Patrick Cousot
164	How Do API Documentation and Static Typing Affect API Usability? Stefan Endrikat Stefan Hanenberg Add to Reading List Source URL: users.dcc.uchile.cl Language: English - Date: 2014-04-14 10:23:17 Cross-platform software Data types Type theory Technical communication Program analysis Type system Objective-C Doxygen C Sharp Computing Software engineering Computer programming
165	Improving Software Security with a C Pointer Analysis Dzintars Avots Michael Dalton V. Benjamin Livshits Computer Science Department Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2005-01-29 19:31:23 Data types Primitive types Static program analysis C++ Type theory Pointer C Reference Type safety Software engineering Computing Computer programming
166	Dette er NIK Word template (Heading 1) Add to Reading List Source URL: www.nik.no Language: English - Date: 2014-01-08 09:31:15 Software review Source code Cross-platform software Code review Peer review Automated code review Static program analysis Software quality C Computing Computer programming Software engineering
167	Microsoft Word - 20-Optimization.doc Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 17:20:08 Computer programming Constant folding Static single assignment form Loop-invariant code motion Dead code elimination Compiler Program optimization Data-flow analysis Goto Software engineering Compiler optimizations Computing
168	Abstraction Recovery for Scalable Static Binary Analysis Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-12-17 15:18:11 Programming language implementation Abstraction Data management Decompiler Benchmark Program analysis Compiler Static program analysis C Computing Software engineering Computer programming
169	Software Engineering Technology The Use and Limitations of Static-Analysis Tools to Improve Software Quality S Add to Reading List Source URL: buildsecurityin.us-cert.gov Language: English - Date: 2013-05-20 13:05:09 Software testing Program analysis Procedural programming languages Code coverage Static program analysis C Type system Abstract interpretation Sonar Software engineering Software Computing
170	Lecture 12 Parallelization I.  Basic Parallelization II.  Data dependence analysis III.  Interprocedural parallelization Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2015-03-02 13:00:17 Programming language implementation Compiler construction Automatic parallelization Static program analysis Compilers Parallel computing Dependence analysis Compiler Data dependency Compiler optimizations Computing Software engineering